科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:论工业saT实例的结构
Carlos Ansótegui; María Luisa Bonet;
机译:工业SAT实例中的社区结构
机译:关于随机不满足的k-Sat实例的一些结果以及应用t随机结构的近似算法
机译:工业SAT实例的结构
机译:使用基于SAT的重新参数化和自动抽象提炼对大型工业电路进行验证。
机译:富含α-亚麻酸的低饱和结构脂肪:理化性质和结晶特性
机译:工业saT实例中的特征向量中心性?
机译:用于实例,冷却塔和工业管道的具有可变锥度的高层钢筋混凝土结构的修复和重建方法
机译:在命题可满足性(SAT)问题的实例之间共享信息
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。